A Model-Theoretic View on Qualitative Constraint Reasoning
نویسندگان
چکیده
منابع مشابه
A Model-Theoretic View on Qualitative Constraint Reasoning
Qualitative reasoning formalisms are an active research topic in artificial intelligence. In this survey we present a model-theoretic perspective on qualitative constraint reasoning and explain some of the basic concepts and results in an accessible way. In particular, we discuss the significance of ω-categoricity for qualitative reasoning, of primitive positive interpretations for complexity a...
متن کاملA Proof Theoretic View of Constraint Programming
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the SEND + MORE = MONEY puzzle. We also show how this approach allows one to build new...
متن کاملA Proof Theoretic View of Constraint Programming
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the SEND + MORE = MONEY puzzle. We also show how this approach allows one to build new...
متن کاملA Qualitative System Theory : Introducing Global View into Qualitative Reasoning
Many of the qualitative simulation algorithms so far proposed depend upon local propagation paradigm, and hence produce spurious states . Recent approaches use topological constraints in phase space diagrams for filtering the spurious states . We propose an alternative method of recognizing global properties in the graphically expressed qualitative model. Qualitative versions of such system-the...
متن کاملDistance Constraint Arrays: A Model for Reasoning on Intervals with Qualitative and Quantitative Distances
We outline a model of one-dimensional reasoning on interval relations with quantitative and qualitative distances. At the core of this model lie constraints on interval boundaries, partial ordering and subsumption relations on interval relations and interval boundary constraints, and the transformation of interval relations to interval boundary constraints and vice versa. By way of subsumption ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2017
ISSN: 1076-9757
DOI: 10.1613/jair.5260